ReP USP - Resultado da busca

Artigo de periodico
Hierarchical featured state machines (2019)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva; Mousavi, Mohammad Reza
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, VALIDAÇÃO DE MODELOS, LINHAS DE PRODUTOS DE SOFTWARE, MÁQUINAS LINEARES E SEQUENCIAIS, AUTÔMATOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann e SIMÃO, Adenilso da Silva e MOUSAVI, Mohammad Reza. Hierarchical featured state machines. Science of Computer Programming, v. 171, p. 67-88, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2018.10.001. Acesso em: 16 maio 2024.
APA
Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2019). Hierarchical featured state machines. Science of Computer Programming, 171, 67-88. doi:10.1016/j.scico.2018.10.001
NLM
Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2018.10.001
Vancouver
Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2018.10.001
Artigo de periodico
An experimental comparison of edge, edge-pair, and prime path criteria (2018)
Durelli, Vinícius H. S; Delamaro, Márcio Eduardo ; Offutt, Jeff
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DURELLI, Vinícius H. S e DELAMARO, Márcio Eduardo e OFFUTT, Jeff. An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, v. 152, n. Ja 2018, p. 99-115, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2017.10.003. Acesso em: 16 maio 2024.
APA
Durelli, V. H. S., Delamaro, M. E., & Offutt, J. (2018). An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, 152( Ja 2018), 99-115. doi:10.1016/j.scico.2017.10.003
NLM
Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
Vancouver
Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
Artigo de periodico
A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs (2017)
Elias, Endhe; Santos, Jário; Bittencourt, Ig Ibert; Isotani, Seiji ; Holanda, O
Source: Science of Computer Programming. Unidade: ICMC
Subjects: FERRAMENTAS (SISTEMAS COMPUTACIONAIS), ONTOLOGIA, WEB SEMÂNTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ELIAS, Endhe et al. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs. Science of Computer Programming, v. 136, p. 43-59, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2016.10.005. Acesso em: 16 maio 2024.
APA
Elias, E., Santos, J., Bittencourt, I. I., Isotani, S., & Holanda, O. (2017). A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs. Science of Computer Programming, 136, 43-59. doi:10.1016/j.scico.2016.10.005
NLM
Elias E, Santos J, Bittencourt II, Isotani S, Holanda O. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs [Internet]. Science of Computer Programming. 2017 ; 136 43-59.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2016.10.005
Vancouver
Elias E, Santos J, Bittencourt II, Isotani S, Holanda O. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs [Internet]. Science of Computer Programming. 2017 ; 136 43-59.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2016.10.005
Artigo de periodico
A practical approach for testing timed deterministic finite state machines with single clock (2014)
El-Fakih, Khaled; Yevtushenko, Nina; Simão, Adenilso da Silva
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
EL-FAKIH, Khaled e YEVTUSHENKO, Nina e SIMÃO, Adenilso da Silva. A practical approach for testing timed deterministic finite state machines with single clock. Science of Computer Programming, v. 80, p. 343-355, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2013.09.008. Acesso em: 16 maio 2024.
APA
El-Fakih, K., Yevtushenko, N., & Simão, A. da S. (2014). A practical approach for testing timed deterministic finite state machines with single clock. Science of Computer Programming, 80, 343-355. doi:10.1016/j.scico.2013.09.008
NLM
El-Fakih K, Yevtushenko N, Simão A da S. A practical approach for testing timed deterministic finite state machines with single clock [Internet]. Science of Computer Programming. 2014 ; 80 343-355.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
Vancouver
El-Fakih K, Yevtushenko N, Simão A da S. A practical approach for testing timed deterministic finite state machines with single clock [Internet]. Science of Computer Programming. 2014 ; 80 343-355.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
Artigo de periodico
Mitigating the effects of equivalent mutants with mutant classification strategies (2014)
Papadakis, Mike; Delamaro, Márcio Eduardo ; Traon, Yves Le
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAPADAKIS, Mike e DELAMARO, Márcio Eduardo e TRAON, Yves Le. Mitigating the effects of equivalent mutants with mutant classification strategies. Science of Computer Programming, v. 95, p. 298-319, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2014.05.012. Acesso em: 16 maio 2024.
APA
Papadakis, M., Delamaro, M. E., & Traon, Y. L. (2014). Mitigating the effects of equivalent mutants with mutant classification strategies. Science of Computer Programming, 95, 298-319. doi:10.1016/j.scico.2014.05.012
NLM
Papadakis M, Delamaro ME, Traon YL. Mitigating the effects of equivalent mutants with mutant classification strategies [Internet]. Science of Computer Programming. 2014 ; 95 298-319.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2014.05.012
Vancouver
Papadakis M, Delamaro ME, Traon YL. Mitigating the effects of equivalent mutants with mutant classification strategies [Internet]. Science of Computer Programming. 2014 ; 95 298-319.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2014.05.012
Parte de monografia/livro-apres/pref/posf
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio] (2014)
Simão, Adenilso da Silva; Morgan, Carroll
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva e MORGAN, Carroll. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.scico.2014.02.004. Acesso em: 16 maio 2024. , 2014
APA
Simão, A. da S., & Morgan, C. (2014). Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. doi:10.1016/j.scico.2014.02.004
NLM
Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
Vancouver
Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
Artigo de periodico
Towards the practical mutation testing of AspectJ programs (2013)
Ferrari, Fabiano Cutigi; Rashid, Awais; Maldonado, José Carlos
Source: Science of Computer Programming. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRARI, Fabiano Cutigi e RASHID, Awais e MALDONADO, José Carlos. Towards the practical mutation testing of AspectJ programs. Science of Computer Programming, v. 78, n. 9, p. 1639\20131662, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2013.02.011. Acesso em: 16 maio 2024.
APA
Ferrari, F. C., Rashid, A., & Maldonado, J. C. (2013). Towards the practical mutation testing of AspectJ programs. Science of Computer Programming, 78( 9), 1639\20131662. doi:10.1016/j.scico.2013.02.011
NLM
Ferrari FC, Rashid A, Maldonado JC. Towards the practical mutation testing of AspectJ programs [Internet]. Science of Computer Programming. 2013 ; 78( 9): 1639\20131662.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2013.02.011
Vancouver
Ferrari FC, Rashid A, Maldonado JC. Towards the practical mutation testing of AspectJ programs [Internet]. Science of Computer Programming. 2013 ; 78( 9): 1639\20131662.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2013.02.011
Artigo de periodico
Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Source: Science of Computer Programming. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 16 maio 2024.
APA
Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006
NLM
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
Vancouver
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
Artigo de periodico
Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java (2009)
Lemos, Otávio Augusto Lazzarini; Franchin, Ivan Gustavo; Masiero, Paulo Cesar
Source: Science of Computer Programming. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEMOS, Otávio Augusto Lazzarini e FRANCHIN, Ivan Gustavo e MASIERO, Paulo Cesar. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java. Science of Computer Programming, v. 74, n. 10, p. 861-878, 2009Tradução . . Disponível em: http://www.sciencedirect.com/science/journal/01676423. Acesso em: 16 maio 2024.
APA
Lemos, O. A. L., Franchin, I. G., & Masiero, P. C. (2009). Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java. Science of Computer Programming, 74( 10), 861-878. Recuperado de http://www.sciencedirect.com/science/journal/01676423
NLM
Lemos OAL, Franchin IG, Masiero PC. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java [Internet]. Science of Computer Programming. 2009 ;74( 10): 861-878.[citado 2024 maio 16 ] Available from: http://www.sciencedirect.com/science/journal/01676423
Vancouver
Lemos OAL, Franchin IG, Masiero PC. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java [Internet]. Science of Computer Programming. 2009 ;74( 10): 861-878.[citado 2024 maio 16 ] Available from: http://www.sciencedirect.com/science/journal/01676423
Artigo de periodico
Coverage testing of java programs and components (2005)
Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos; Wong, W Eric; Delamaro, Márcio Eduardo
Source: Science of Computer Programming. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VINCENZI, Auri Marcelo Rizzo et al. Coverage testing of java programs and components. Science of Computer Programming, v. 56, 2005Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2004.11.013. Acesso em: 16 maio 2024.
APA
Vincenzi, A. M. R., Maldonado, J. C., Wong, W. E., & Delamaro, M. E. (2005). Coverage testing of java programs and components. Science of Computer Programming, 56. doi:10.1016/j.scico.2004.11.013
NLM
Vincenzi AMR, Maldonado JC, Wong WE, Delamaro ME. Coverage testing of java programs and components [Internet]. Science of Computer Programming. 2005 ; 56[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2004.11.013
Vancouver
Vincenzi AMR, Maldonado JC, Wong WE, Delamaro ME. Coverage testing of java programs and components [Internet]. Science of Computer Programming. 2005 ; 56[citado 2024 maio 16 ] Available from: https://doi.org/10.1016/j.scico.2004.11.013

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Indexado em

Non normalized affiliation